isrcv($l$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\neg_{b}$isnull($a$)) $\wedge_{b}$ isrcv(kind($a$)) $\wedge_{b}$ lnk(kind($a$)) = $l$